Heyting algebras
[网络] Heyting代数
热门查询
- serialism n. 十二音阶（作曲法）；序列主义
- roofing n. 屋顶；盖屋顶；屋顶盖法 v. 给…盖上顶；遮蔽（roof的ing形式） adj. 屋顶用的
- echo n. 回音；效仿 vt. 反射；重复 vi. 随声附和；发出回声
- applicable adj. 可适用的；可应用的；合适的
- intransigent n. 不妥协的人 adj. 不妥协的；不让步的
- legalise vt. 使合法化（等于legalize）
- flyspeck n. 蝇粪留下的污点，污点，小斑 vi. 弄脏
- renal adj. [解剖] 肾脏的，[解剖] 肾的 n. (Renal)人名；(法)勒纳尔
- landscapist n. 风景画家
- impracticability n. 无法实施，不能实施的事项
- scarper vi. 跑掉；逃跑；溜走
- synthesise vt.vi. 综合, 合成, 接合 vt. 用合成法合成, 综合地处理
- brusquely adv. 唐突地；直率地
- commiserate vt. 同情，怜悯 vi. 同情，怜悯；吊慰
- Cadenet [地名] [法国] 卡德内
- commonness n. 共性；平凡
- penstemon 钓钟柳
- downloaded vt. [计] 下载
- Paxton 帕克斯顿
- preponderance n. 优势；多数；占优势
考试词汇表
- walking potato digger
- walking scoop dredger
- walking stick holders
- walking type dragline
- walking-beam conveyer
- walking-beam transfer
- walking-stick holders
- wall connecting piece
- wall drilling machine
- wall echo shadow sign
- wall ironing machines
- wall light with guard
- wall mounting bracket
- wall of computer case
- wall of the batholith
- wall outlet connector
- wall pointing machine
- wall pressure tapping
- wall rock alternation
- wall spider marsupium
